#ifndef __KERNEL_H_
#define __KERNEL_H_

extern void task_switch(void);
extern void task_load(unsigned int fn, int tid);
extern void switch_to(unsigned int tid);

#endif

